101. Modelling and implementation of complex systems :
پدیدآورنده : editors Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel Eddine Saidouni.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer algorithms, Congresses.,Computer science, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer algorithms.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Software engineering.
رده :
QA75
.
5
102. Multi-Disciplinary Trends in Artificial Intelligence.
پدیدآورنده : \ Antonis Bikakis , Xianghan Zheng (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Algorithms,کامپیوتر,الگوریتم‌ها,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی -- کنگره ها
رده :
Q
334
.
M8
2015
E-Book
,
103. Number-theoretic methods in cryptology :
پدیدآورنده : Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cryptography, Congresses.,Monte Carlo method, Congresses.,Algorithms.,Coding theory & cryptology.,Computer science-- Mathematics.,Computer science.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers.,Data encryption (Computer science),Discrete mathematics.,Information technology: general issues.,Mathematics-- Number Theory.,Number theory.,Number theory.,Numerical analysis.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
N88
2017
104. Parallel algorithms for irregularly structured problems : Third International Workshop, IRREGULAR'96, Santa Barbara, CA, USA, August 19-21, 1996 : proceedings
پدیدآورنده : A. Ferreira, ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel programming )Computer science(,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
1117
105. Parallel algorithms for irregularly structured problems : second International Workshop, IRREGULAR'95, Lyon, France, September 1995 : proceedings
پدیدآورنده : Afonso Ferreira, Jose Rolim )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel programming )Computer science(,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
980
106. Principles of security and trust :
پدیدآورنده : Lujo Bauer, Ralf Küsters (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer science.,Computer security.,Computer security.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Systems analysis & design.
رده :
QA76
.
9
.
A25
P67
2018eb
107. Proceedings of 1997 IEEE International Conference on Evolutionary Computation )ICEC'97(: April 13-16, 1997, University Place Hotel, Indianapolis, IN, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Evolutionary computation,Congresses ، Genetic algorithms,Congresses ، Neural networks )Computer science(
رده :
Q
334
.
I428
1997
108. Proceedings of 1996 IEEE International Conference on Evolutionary Computation )ICEC'96(: May 20-22, 1996, Symposium & Toyoda Auditorium, Nagoya University, Japan
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Evolutionary computation,Congresses ، Genetic algorithms,Congresses ، Neural networks )Computer science(
رده :
Q
334
.
I428
1996
109. Proceedings of the First IEEE Conference on Evolutionary Computation : IEEE World Congress on Computational Intelligence, June 27-June 29, 1994, Walt Disney World Dolphin Hotel, Orlando, Florida
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Neural networks )Computer science( - Congresses , Genetic algorithms - Congresses , Artificial intelligence - Congresses , Evolutionary computation
رده :
QA
76
.
87
.
I342
1994
110. Progress in cryptology -- AFRICACRYPT 2018 :
پدیدآورنده : Antoine Joux, Abderrahmane Nitaj, Tajjeeddine Rachidi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer hardware.,Computer security.,Computer security.,Computers-- Hardware-- General.,Computers-- Hardware-- Network Hardware.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Network hardware.
رده :
QA76
.
9
.
A25
111. Rewriting techniques and applications :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Rewriting systems (Computer science) ; Congresses ; Computer programming ; Congresses ; Algorithms ; Congresses ;
112. Rewriting techniques and applications :
پدیدآورنده : N. Dershowitz, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
113. #Rewriting techniques and applications
پدیدآورنده : #edited by Pierre Lescanne
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Rewriting systems )Computer science(- Congresses ،Electronic digital computers- Programming- Congresses ،Computer algorithms- Congresses
رده :
#
QA
،#.
R48
114. Rewriting techniques and applications :
پدیدآورنده : Harald Ganzinger (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
رده :
QA267
.
R48
1996
115. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987: Proceedings
پدیدآورنده : edited by Pierre Lescanne
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
256
116. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
202
117. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
پدیدآورنده : N. Dershowitz, ed
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
355
118. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
پدیدآورنده : International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1989
119. Rewriting techniques and applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings
پدیدآورنده : Vincent Van Oostrom )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
3091
120. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
پدیدآورنده : Ronald V. Book, ed
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Electronic digital computers -- Programming,Congresses ، Algorithms
رده :
QA
267
.
I555
1991
